Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable objects called things. Incremental constraint satisfier, module compiler, construction-set style user interface, many tool...

Developed by Novak and Causey in 1988, TMYCIN is a medical reasoning system developed at the University of Texas, Austin, using EMYCIN as a model.

A research project at Carnegie Mellon University. It aims to commercialize robotics technologies in education, toys and entertainment.

The thrust of the Venari project at Carnegie Mellon University is addressing the problem of search, hence the name. We touch upon areas in programming and specification language design, semantics, and implementation; concurrent and distributed systems...

Web pages partitioned into classes, with hyperlink data. The dataset has been used for text categorization and learning to extract symbolic knowledge from the World Wide Web.

Statistical learning, machine learning approaches to computational biology, pattern recognition and control.